#include <arch/io.h>
#include <log.h>
#include <tty/console.h>

void printk(const char* fmt, ...) {
    char buf[512];
    va_list arg;
    va_start(arg, fmt);
    vsprintf(buf, fmt, arg);
    console_write_str(buf);
    console_flush();
    va_end(arg);
}